Information-theoretic characterizations of recursive infinite strings
نویسندگان
چکیده
منابع مشابه
Information-Theoretic Characterizations of Recursive Infinite Strings
Loveland and Meyer have studied necessary and sufficient conditions for an infinite binary string x to be recursive in terms of the programsize complexity relative to n of its n-bit prefixes xn. Meyer has shown that x is recursive iff ∃c, ∀n, K(xn/n) ≤ c, and Loveland has shown that this is false if one merely stipulates that K(xn/n) ≤ c for infinitely
متن کاملInformation Theoretic Characterizations of Coded Imaging-based Space Object Identification
Obtaining information about the surface material composition of man-made objects such as earth orbiting satellites is an important goal of space object identification (SOI). Often initial information about the possible material composition of such targets is known a priori, at least in a statistical sense, in the form of a material database which includes the measured reflectance curves of mate...
متن کاملA note on information theoretic characterizations of physical theories
Clifton, Bub, and Halvorson [Foundations of Physics 33, 1561– 1591, (2003)] have recently argued that quantum theory is characterized by its satisfaction of three information-theoretic axioms. However, it is not difficult to construct apparent counterexamples to the CBH characterization theorem. In this paper, we discuss the limits of the characterization theorem, and we provide some technical ...
متن کاملPotential Theoretic Characterizations of Nonsmooth Domains
A large number of works have been devoted to the study of potential theory for nonsmooth domains, such as Lipschitz domains, NTA domains, uniform domains, John domains and Hölder domains, since the pioneering works of Carleson [12] and Hunt-Wheeden [18, 19] for Lipschitz domains. Among them, the boundary Harnack principle (abbreviated to BHP) and the identification of the Martin boundary played...
متن کاملMeasure-theoretic Characterizations of Hereditarily-normal Spaces
In this paper we characterize hereditarily-normal spaces in terms of the measure-theoretic properties of the lattice of closed sets. We then generalize from that lattice to other lattices. We apply the results to extremallydisconnected spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1976
ISSN: 0304-3975
DOI: 10.1016/0304-3975(76)90005-0